Partial order reduction